Hybrid Automata

Hybrid process algebra

Mathematical Sciences / Process Algebra / Discrete Event / Hybrid Automata / Transition Systems / Hybrid System